Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
811	c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:38:21 Logic programming Non-classical logic Substructural logic Programming language Mathematical logic Logic Prolog Actor model Linear logic Software engineering Computing Programming language theory
812	Adapting Query Optimization Techniques for Efficient Intrusion Alert Correlation∗ Peng Ning and Dingbang Xu Department of Computer Science, North Carolina State University Raleigh, NC Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:06 Mathematical logic Hash table Hash function Alert correlation Predicate Trie Logic programming Database index Extensible Storage Engine Search algorithms Logic Computing
813	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
814	NSPredicate Cheatsheet Presented by Realm: a mobile database that replaces Core Data and SQLite. Learn more at http://realm.io Basic Comparisons =,== Add to Reading List Source URL: realm.io Language: English Query languages Predicate logic Formal languages Predicate Semantics SQL Regular expression Relational operator K Computing Software engineering Computer programming
815	Implications of the ACT-R Learning Theory: 1 No Magic Bullets John R. Anderson Christian D. Schunn Add to Reading List Source URL: www.lrdc.pitt.edu Language: English - Date: 2007-11-30 10:32:00 Neuropsychological assessment Cognition Cognitive architecture Learning ACT-R Technical communication Logic programming Procedural knowledge Memory Skills Mind Educational psychology
816	Proceedings Template - WORD Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Constraint programming Programming paradigms Type theory Data modeling Relational model Constraint satisfaction problem Subtype polymorphism Structure Logic Software engineering Mathematical logic
817	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
818	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-02-16 03:48:02 Normalisation by evaluation Monad Computer programming Curry–Howard correspondence Mathematical logic Software engineering Lambda calculus
819	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
820	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science

UPDATE